Hlavní stránka > Výsledky hledání: keywords:"Booleovy algebry"
Hledej:
Tipy pro vyhledávaní :: Rozšířené hledání
Hledej ve sbírkách:
Seřadit podle: Zobrazit výsledky: Výstupní formát:
Národní úložiště šedé literatury Nalezeno 1 záznamů.  Hledání trvalo 0.00 vteřin. 
Generalized Boolean models and classical predicate logic
 Lávička, Tomáš ; Honzík, Radek (vedoucí práce) ; Haniková, Zuzana (oponent)
Tato bakalářská práce pojednává o úplných Booleových alge- berách a o jejich užití v semantice prvořádové predikátové logiky. Práce má dva hlavní cíle, v první řadě dokázat, že každá Booleova algebra může být rozšířena na úplnou Booleovu algebru tak, že původní algebra je její hustá podalgebra. Toto tvrzení je dokázáno pomocí topologické kontrukce. Následně, ve druhé části, defin- ujeme sémantiku prvořádové predikátové logiky s ohledem na úplné Booleovy algebry, současně také zavedeme pojem Booleovsky- ohodnoceného modelu. Poté dokážeme větu o úplnosti s ohledem na všechny úplné Booleovy algebry. To je dokázáno pomocí ultrafiltrů na Booleových algebrách. Klíčová slova: Booleovy algebry, úplné Booleovy algebry, kla- sická logika.
Úplný záznam

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.
Digitální repozitář :: Hledej :: Nový záznam :: Personalizace :: Nápověda
Powered by Invenio v1.1.2
Spravuje admin.invenio@techlib.cz
Tato stránka je dostupná také v následujících jazycích:
Česky  English